1987-Curing Anomalous Extensions
نویسنده
چکیده
In a recent paper, Hanks and McDermott presented a simple problem in temporal reasoning which showed that a seemingly natural representation of a frame axiom in nonmonotonic logic can give rise to an anomalous extension, i.e., one which is counter-intuitive in that it does not appear to be supported by the known facts. An alternative, less formal approach to nonmonotonic reasoning uses the mechanism of a truth maintenance system (TMS). Surprisingly, when reformulated in terms of a TMS, the anomalous extension noted by Hanks and McDermott disappears. We analyze the reasons for this. First it is seen that anomalous extensions are not limited to temporal reasoning, but can occur in simple non-temporal default reasoning as well. In these cases also, the natural TMS representation avoids the problem. Exploring further, it is observed that the form of the TMS justifications resembles that of nonnormal default rules. Nonnormal rules have already been proposed as a means of avoiding anomalous extensions in some non-temporal reasoning situations. It appears that, suitably formulated, they can exclude the anomalous extension in the HanksMcDermott case also, although the representation does not adjust smoothly to fresh information, as does the TMS. Some variant of nonnormal default appears to be required to provide a correct semantic basis for truth maintenance systems.l
منابع مشابه
Optical hazard evaluation of dental curing lights.
The potential ocular hazards associated with the use of dental curing lights were evaluated. Recommendations are provided for precluding exposure of personnel to hazardous levels of optical radiation. Users should not stare directly into the dental curing lights at distances shorter than 25 cm (which would not be a likely event). Eye protectors which filter wavelengths below 500 nm may be desir...
متن کاملAnomalous drainage of inferior vena cava to left atrium in association with total anomalous pulmonary venous drainage.
Drainage of the inferior vena cava directly into the left atrium is a rare but well recognised anomaly of systemic venous drainage. It has been reported in isolation and in association with other cardiac defects. We report a case of anomalous drainage of the inferior vena cava into the left atrium in association with total anomalous pulmonary venous drainage of the supracardiac type, a hitherto...
متن کاملComment on "Anomalous electron heat transport driven by low-frequency electromagnetic turbulence"
متن کامل
Anomalous origin of the left coronary artery from the pulmonary trunk: repair after diagnostic cross sectional echocardiography.
An infant with anomalous origin of the left coronary artery from the pulmonary trunk presented with congestive cardiomyopathy. Only cross sectional echocardiography gave a definitive diagnosis. The results of cardiac catheterisation and angiography were inconclusive. Surgical repair was performed successfully after the results of cross sectional echocardiography were known.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999